Operating system kernels

Results: 132



#Item
51A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers Technical Report IR-CS-018, January 2006 Jorrit N. Herder  Herbert Bos

A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers Technical Report IR-CS-018, January 2006 Jorrit N. Herder Herbert Bos

Add to Reading List

Source URL: www.minix3.org

Language: English - Date: 2012-03-07 05:50:27
52NetBSD — Introducing NetBSD — What is the NetBSD Project? The NetBSD Project gives you a complete Unix-like operating system that is up to today’s Open Source and security standards, supporting industry-standard AP

NetBSD — Introducing NetBSD — What is the NetBSD Project? The NetBSD Project gives you a complete Unix-like operating system that is up to today’s Open Source and security standards, supporting industry-standard AP

Add to Reading List

Source URL: netbsd.org

Language: English - Date: 2007-04-07 11:30:10
53The EROS System Structure† Working Draft, Currently In Progress Jonathan S. Shapiro, Ph.D. Systems Research Laboratory Dept. of Computer Science

The EROS System Structure† Working Draft, Currently In Progress Jonathan S. Shapiro, Ph.D. Systems Research Laboratory Dept. of Computer Science

Add to Reading List

Source URL: www.coyotos.org

Language: English - Date: 2014-08-13 02:11:22
54An I/O Architecture for Microkernel-Based Operating Systems Hermann H¨artig Jork L¨oser Martin Pohlack Frank Mehnert Lars Reuther Alexander Warg

An I/O Architecture for Microkernel-Based Operating Systems Hermann H¨artig Jork L¨oser Martin Pohlack Frank Mehnert Lars Reuther Alexander Warg

Add to Reading List

Source URL: os.inf.tu-dresden.de

Language: English - Date: 2003-08-13 07:25:54
55Technical Report  UCAM-CL-TR-859 ISSN[removed]Number 859

Technical Report UCAM-CL-TR-859 ISSN[removed]Number 859

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-09-16 09:35:43
56

PDF Document

Add to Reading List

Source URL: maxdb.sap.com

Language: English - Date: 2014-09-11 07:40:59
57N IF Navigation and Ancillary Information Facility Obtaining SPICE Components Offered by NAIF and Horizons Emphasis on Kernels

N IF Navigation and Ancillary Information Facility Obtaining SPICE Components Offered by NAIF and Horizons Emphasis on Kernels

Add to Reading List

Source URL: naif.jpl.nasa.gov

Language: English - Date: 2015-02-12 19:43:30
58N IF Navigation and Ancillary Information Facility SPICE Conventions A summary of standards, lingo and common usage within SPICE

N IF Navigation and Ancillary Information Facility SPICE Conventions A summary of standards, lingo and common usage within SPICE

Add to Reading List

Source URL: naif.jpl.nasa.gov

Language: English - Date: 2015-02-12 19:43:30
59N IF Navigation and Ancillary Information Facility Leapseconds and Spacecraft Clock Kernels LSK and SCLK

N IF Navigation and Ancillary Information Facility Leapseconds and Spacecraft Clock Kernels LSK and SCLK

Add to Reading List

Source URL: naif.jpl.nasa.gov

Language: English - Date: 2015-02-12 19:43:30
60Trends in Operating System Design: Towards a Customisable Persistent Micro-Kernel David Hulse and Alan Dearle Department of Computing Science and Mathematics University of Stirling Stirling, FK9 4LA, Scotland

Trends in Operating System Design: Towards a Customisable Persistent Micro-Kernel David Hulse and Alan Dearle Department of Computing Science and Mathematics University of Stirling Stirling, FK9 4LA, Scotland

Add to Reading List

Source URL: www.osdever.net.

Language: English - Date: 2012-05-30 02:15:54